Mathematical proof - PDFSEARCH.IO - Document Search Engine

Mathematical proof
Results: 1839

#	Item
901	Teaching Math More Effectively, Through Calculational Proofs Author(s): David Gries and Fred B. Schneider Source: The American Mathematical Monthly, Vol. 102, No. 8 (Oct., 1995), pp[removed]Published by: Mathematical As Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-08-21 10:20:02 Mathematical proofs Model theory Logic in computer science Proof theory Propositional calculus Proof by contradiction First-order logic FO Integration by substitution Mathematics Logic Mathematical logic
902	A pilot study on logic proof tutoring using hints generated from historical student data Tiffany Barnes1, John Stamper1, Lorrie Lehman1, and Marvin Croy2 {tbarnes2, jcstampe, ljlehman, mjcroy}@uncc.edu 1 Computer Science Add to Reading List Source URL: www.educationaldatamining.org Language: English - Date: 2013-08-25 04:07:32 Educational psychology Reinforcement learning Knowledge Markov decision process Algorithm Intelligent tutoring system Tutor Hint Statistics Education Mathematical logic
903	A New Approach to Teaching Discrete Mathematics David Gries∗ and Fred B. Schneider† Computer Science, Cornell University June 20, 2001 Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 22:15:58 Proof theory Logic in computer science Mathematical proofs Philosophical logic First-order logic Equational logic Propositional calculus Natural deduction Combinatory logic Logic Mathematics Mathematical logic
904	ANNAUOF PUREAND APPLIEDLOGIC EISBVIER Annals of Pure and Applied Logic[removed]299 Add to Reading List Source URL: www.ihes.fr Language: English - Date: 2009-09-10 07:50:35 Cut-elimination theorem Sequent First-order logic Linear logic Craig interpolation Structural rule Propositional calculus Rule of inference Well-formed formula Logic Mathematical logic Proof theory
905	Automated Theorem Proving Frank Pfenning Carnegie Mellon University Draft of Spring 2004 Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2004-04-13 10:08:54 Natural deduction Sequent Intuitionistic logic Judgment Cut-elimination theorem Linear logic Curry–Howard correspondence First-order logic Rule of inference Logic Mathematical logic Proof theory
906	Differential Dynamic Logic for Verifying Parametric Hybrid Systems Andr´e Platzer1,2 1 University 2 Carnegie Add to Reading List Source URL: symbolaris.com Language: English - Date: 2014-08-04 10:08:58 Proof theory Differential equations Logic in computer science Control theory Hybrid system Sequent Mathematical logic Dynamic logic Mathematics Science Logic
907	Equational Propositional Logic David Gries 1 and Fred B. Schneider 2 Computer Science, Cornell University September[removed]Abstract Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-09 20:13:08 Propositional calculus Rules of inference Boolean algebra Philosophical logic Equational logic First-order logic Mathematical proof Modal logic Modus ponens Logic Mathematics Mathematical logic
908	125 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. SE-3, NO. 2, MARCH 1977 Proving the Correctness of Multiprocess Programs LESLIE LAMPORT Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-03-04 22:46:44 Mathematical logic Assertion Debugging Logic in computer science Mathematical proof Invariant Petri net Formalism Correctness Mathematics Software engineering Computing
909	Panel Moderators: Gries and Fred Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-08-21 13:49:16 Philosophical logic Non-classical logic Propositional calculus Boolean algebra Mathematical proof Natural deduction Modal logic Theorem Discrete mathematics Logic Mathematics Mathematical logic
910	Pretending Atomicity Leslie Lamport and Fred B. Schneider May 1, 1989 ii Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-05-31 14:07:02 Symmetry Mathematical logic Theoretical computer science Program logic Proof theory Curry–Howard correspondence Predicate transformer semantics Mathematics Group action Group theory

UPDATE